Iterated Coleman Integration for Hyperelliptic Curves
نویسنده
چکیده
The Coleman integral is a p-adic line integral. Double Coleman integrals on elliptic curves appear in Kim’s nonabelian Chabauty method, the first numerical examples of which were given by the author, Kedlaya, and Kim [3]. This paper describes the algorithms used to produce those examples, as well as techniques to compute higher iterated integrals on hyperelliptic curves, building on previous joint work with Bradshaw and Kedlaya [2].
منابع مشابه
Coleman Integration for Even Degree Models of Hyperelliptic Curves
The Coleman integral is a p-adic line integral that encapsulates various quantities of number theoretic interest. Building on the work of Harrison [8], we extend the Coleman integration algorithms in [2] to even degree models of hyperelliptic curves. We illustrate our methods with numerical examples computed in Sage.
متن کاملExplicit Coleman Integration for Hyperelliptic Curves
Coleman’s theory of p-adic integration figures prominently in several number-theoretic applications, such as finding torsion and rational points on curves, and computing p-adic regulators in K-theory (including p-adic heights on elliptic curves). We describe an algorithm for computing Coleman integrals on hyperelliptic curves, and its implementation in Sage.
متن کاملExplicit p-adic methods for elliptic and hyperelliptic curves
We give an overview of some p-adic algorithms for computing with elliptic and hyperelliptic curves, starting with Kedlaya’s algorithm. While the original purpose of Kedlaya’s algorithm was to compute the zeta function of a hyperelliptic curve over a finite field, it has since been used in a number of applications. In particular, we describe how to use Kedlaya’s algorithm to compute Coleman inte...
متن کاملA Flexible Method for Applying Chabauty’s Theorem
A strategy is proposed for applying Chabauty’s Theorem to hyperelliptic curves of genus > 1. In the genus 2 case, it shown how recent developments on the formal group of the Jacobian can be used to give a flexible and computationally viable method for applying this strategy. The details are described for a general curve of genus 2, and are then applied to find C(Q) for a selection of curves. A ...
متن کاملColeman Integration Using the Tannakian Formalism
The theory of Coleman integration has been developed in a number of directions by Coleman [Col82, Col85, CdS88] and later by the author [Bes00a] (a totally different approach was worked out by Colmez [Col98] and by Zarhin [Zar96]). It provides a way of extending the ring of analytic functions on certain rigid analytic domains in such a way that one can often find an essentially unique primitive...
متن کامل